Examples

Example 1

at(A, L)at(B, L)at(R, L)hasFuel(R)load(A, L)load(B, L)in(R, A)at(A, L)in(R, B)at(B, L)hasFuel(R)move(R, L, P)noopnoopnoopnoopat(R, L)at(R, P)noopnoopnoopnoopnoopnoopnoopmove(R, L, R)unload(A, P)unload(B, P)at(A, P)at(B, P)in(R, A)in(R, B)
### Example 2

在第一列列出所有的initial state,第二列列出可选的actions加noop,第三列写出省下的state,还在的用实线,删掉的用虚线。
标记出inconsistent effects,也就是两条线指向同一个state的。
标记出interference,也就是从同一个initial state指出多条线的。
标记出completing needs,如果有的话,也就是题目要求达到的状态。

robot_at(loc_a)handemptyobject_at(plate, loc_a)objeect_at(cube, loc_b)go(loc_a, loc_b)nooppick_colour(red)pick_colour(blue)robot_at(loc_a)robot_at(loc_b)robot_has(red)robot_has(blue)handemptynoopnoopnoopobject_at(plate, loc_a)objeect_at(cube, loc_b)inconsistentinconsistent effects- go(loc_a, loc_b) - noop on robot_at(loac_a)- pick_colour(red) - noop on handempty- pick_colour(blue) - noop on handemptyinterference- pick_colour(red) - pick_colour(blue)competing needs- handempty - robot_has(red/blue)